Object invariant is important in the object-oriented program proof.

对象不变式在面向对象程序的证明中具有重要作用。

youdao

Object invariant describes the relationship of the object-oriented data structure, it always holds true after the object creation and on the entrance and exit of the method invocation.

对象不变式描述了面向对象数据结构中元素间的关系，在对象创建后以及方法引用前后它总为真。

youdao

A class invariant must hold before and after all method calls (once the object is constructed).

类在方法调用之前和之后必须保持不变(一旦对象已经构建)。

youdao